Specification and Analysis of Transactions in Real-Time Active Databases
نویسندگان
چکیده
We build a framework that facilitates the formal description and analysis of properties of transactions in real-time active databases. This framework, named Real-Time ACTA, which is an extension of ACTA, can not only specify and reason about the effects of transactions on objects and the interactions between transactions, but also formalize the transaction and data timing constraints in real-time active databases to support the analysis and verification of real-time software.
منابع مشابه
Priority assignment in real - time active databases 1
Active databases and real-time databases have been important areas of research in the recent past. It has been recognized that many benefits can be gained by integrating real-time and active database technologies. However, not much work has been done in the area of transaction processing in real-time active databases. This paper deals with an important aspect of transaction processing in real-t...
متن کاملPriority Assignment in Real - Time Active Databases 1 2
Active databases and real-time databases have been important areas of research in the recent past. It has been recognized that many beneets can be gained by integrating active and real-time database technologies. However, there has not been much work done in the area of transaction processing in active real-time databases. This paper deals with an important aspect of transaction processing in a...
متن کاملA DSS-Based Dynamic Programming for Finding Optimal Markets Using Neural Networks and Pricing
One of the substantial challenges in marketing efforts is determining optimal markets, specifically in market segmentation. The problem is more controversial in electronic commerce and electronic marketing. Consumer behaviour is influenced by different factors and thus varies in different time periods. These dynamic impacts lead to the uncertain behaviour of consumers and therefore harden the t...
متن کاملSpecifying Database Transactions and Active Rules in the Situation Calculus
This chapter provides a predicate logic based semantics for active rules in active databases [18, 9]. Our main contribution is a proposal to integrate the specification of active rules with the specification of the dynamics of transaction based change in relational databases. Our approach extends previous work in which the situation calculus, a language of many sorted predicate logic, is used t...
متن کاملPatterns and Trends in Sovereign Wealth Fund Investments: A Post-Crisis Descriptive Analysis
A nalyzing more than 9,400 investment transactions performed by 32 sovereign wealth funds (SWFs), from 23 countries, and targeted towards 77 countries, between 2010 and 2013, this study highlights some of the most important visible patterns and nuances in SWF investments. First, lion’s share of SWF investments are cross-border transactions that originated from and targeted towards hi...
متن کامل